Sylvie Steinberg (dir.) avec les contributions de Christine Bard, Sandra Boehringer, Gabrielle
نویسندگان
چکیده
منابع مشابه
Traiter les documents XML avec les « contextes de lecture »
RÉSUMÉ. Le langage XML autorise, par sa souplesse de structuration, des manipulations du contenu qui créent parfois des ruptures arbitraires dans le flot naturel du texte. Ces caractéristiques soulèvent des difficultés lorsque l’on souhaite mettre en œuvre des techniques d’analyse automatique du contenu des documents XML. Cet article présente cette problématique et y répond, sur le plan théoriq...
متن کاملCalcul de résolvantes avec les modules de Cauchy
This paper gives a new and eecient algorithm in order to compute some characteristic polynomials using Cauchy modules. This algorithm is used for the computation of absolute resolvents and multi-resolvents which are essential tools in constructive Galois theory. formation de facteurs parasites, le polyn^ ome caract eristique d'un endomorphisme multi-plicatif associ e a un invariant quelconque d...
متن کاملLes aspects et les composants logiciels. Etude de cas avec le modèle de composant FRACTAL
RÉSUMÉ. La programmation par composants logiciels promet la réutilisation, mais elle est sujette aux problèmes de dispersion et de mélange de code représentant des propriétés transversales. L’application de la programmation par aspects (AOP) sur les composants logiciels permet de faire face à ces problèmes. Nous présentons dans ce papier FRACTAL-AOP, une extension du modèle de composant Fractal...
متن کاملVérification de programmes C concurrents avec Cubicle : Enfoncer les barrières
Toutes les bibliothèques de threads au standard POSIX se doivent d’implémenter une barrière de synchronisation. Une telle structure de contrôle permet à des threads de s’attendre en un point donné d’un programme. Il existe de nombreuses implémentations pour ces barrières, plus ou moins sophistiquées. Citons par exemple, les sense barriers, les static tree barriers, les tournament barriers, etc....
متن کاملInférence de non-terminaison pour les programmes logiques avec contraintes
RÉSUMÉ. L’analyse de terminaison des programmes logiques a été sujette à une recherche intensive durant les deux dernières décennies. La majorité des travaux s’est intéressée à la terminaison universelle gauche d’une classe donnée de requêtes, c’est-à-dire au fait que toutes les dérivations des requêtes de cette classe produites par un moteur Prolog sont finies. En revanche, l’étude du problème...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Clio
سال: 2019
ISSN: 1252-7017,1777-5299
DOI: 10.4000/clio.17671